Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
331	PHYSICAL REVIEW E 84, [removed]Beyond the edge of chaos: Amplification and temporal integration by recurrent networks in the chaotic regime T. Toyoizumi1,2,* and L. F. Abbott1 1 Add to Reading List Source URL: neurotheory.columbia.edu Language: English - Date: 2011-11-14 19:22:56 Entailment Logical consequence Logical syntax Metalogic Dirac delta function Linear temporal logic Symbol Logic Mathematical analysis Deduction
332	LTL Goal Specifications Revisited Andreas Bauer and Patrik Haslum1 Abstract. The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constr Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-06-07 23:18:57 Logic Mathematical logic Semantics Model checking Model theory Interpretation Trace Temporal logic Linear temporal logic Mathematics
333	c 2005 International Press METHODS AND APPLICATIONS OF ANALYSIS. Vol. 12, No. 4, pp. 427–440, December 2005 Add to Reading List Source URL: users.cms.caltech.edu Language: English - Date: 2006-06-20 23:51:00 Partial differential equations Vorticity Euler equations Lagrangian Fourier analysis Linear temporal logic Spectral theory of ordinary differential equations Physics Fluid dynamics Mathematical analysis
334	C/CS/Phys 191 Sch. Equation, Particle in a Box, Commutators Fall 2003 Add to Reading List Source URL: www-inst.eecs.berkeley.edu Language: English - Date: 2005-02-11 16:55:30 Schrödinger equation Wave function Energy operator Uncertainty principle Linear temporal logic Μ operator Physics Quantum mechanics Operator
335	Physics 205b, Problem Set 6 Solutions Du Pei Feb. 19, [removed] • Parity: From eq[removed]), we can get P −1 ΨAΨP = ΨβAβΨ, Add to Reading List Source URL: theory.caltech.edu Language: English - Date: 2013-02-20 20:54:30 Quantum mechanics Conservation laws Parity Entailment Linear temporal logic Orbifold Physics Logic Quantum field theory
336	arXiv:0709.4668v1 [math.NT] 28 Sep[removed]CONSEQUENCES OF THE GROSS/ZAGIER FORMULAE: STABILITY OF AVERAGE L-VALUES, SUBCONVEXITY, AND NON-VANISHING MOD p Add to Reading List Source URL: www.math.caltech.edu Language: English - Date: 2008-08-08 13:44:50 Limit Mathematics Linear temporal logic Spectral theory of ordinary differential equations Mathematical analysis Arithmetic function Modular form
337	Notes for ENEE 664: Optimal Control Andr´e L. Tits DRAFT July 2013 Add to Reading List Source URL: www.ece.umd.edu Language: English - Date: 2013-07-07 10:38:05 Mathematical optimization Calculus of variations Optimal control Optimization problem Vector space Linear programming Linear temporal logic Algebra Mathematics Operations research
338	7. Baroclinic dynamics 7.1 Two-layer models Consider a system consisting of two immiscible fluids of density ρ 1 and ρ 2 , with ρ 1 < ρ 2 . In the resting state, the fluids occupy layers of equal depth, H , as shown Add to Reading List Source URL: www.gfdl.noaa.gov Language: English Temporal logic Symbol Character encoding Digital typography Linear temporal logic
339	A Worst-Case Comparison between Temporal Diﬀerence and Residual Gradient with Linear Function Approximation Lihong Li [removed] Department of Computer Science, Rutgers University, 110 Frelinghuysen Road, Pi Add to Reading List Source URL: www.machinelearning.org Language: English - Date: 2008-04-18 14:23:56 Logical syntax Metalogic Philosophical logic Propositional calculus Natural deduction Logic Deduction Entailment
340	Learning Random Walks to Rank Nodes in Graphs Alekh Agarwal Soumen Chakrabarti IIT Bombay Abstract Add to Reading List Source URL: www.machinelearning.org Language: English - Date: 2008-12-01 11:26:20 Multivariable calculus PageRank Reputation management Search engine optimization Laplace operator Kullback–Leibler divergence Linear temporal logic Mathematical analysis Calculus Differential operators

UPDATE